#ifndef WDT_H
#define WDT_H

#include <stdint.h>





extern void WDT_Feed(void);
extern void WDT_Init(void);

extern void system_Reset(void);



#endif
